Method for Automatic Generation of Rtl in Vhdl Using Decision Diagrams

نویسندگان

  • Stanislav Stanković
  • Jarmo Takala
  • Jaakko Astola
چکیده

In recent years, decision diagrams have earned a prominent place in the field of logic design as means of efficient representation of switching function, in terms of needed storage space and processing complexity, especially for the tasks of design, testing and verification of logic circuits. In this paper, we focus on a XML based system for description of the structure of decision diagrams with special attention on its application in high-level synthesis, automatization of design of logic networks. The system we propose is capable of automatically producing hardware description, RTL models in VHDL. It uses XML for description of decision diagrams and a set of XSLT based scripts for conversion of decision diagrams to VHDL hardware model. VHDL is a well established industrial standard in this area and the RTL models produced by in this way can be synthesized using commercial logic synthesis tools. This feature permits fast prototyping and much quicker experimentation regarding decision diagrams in the fields of logic synthesis and circuit testing. It also enables our framework to take the central role in much wider scope connecting various other software packages that deal with decision diagrams on some level with industrial standard simulation and synthesis software.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Testability Guided Hierarchical Test Generation with Decision Diagrams

A unified approach is presented for calculation multi-level testability measures and for testability guided hierarchical automated test pattern generation (ATPG) for digital systems. The methods and algorithms are based on path tracing procedures on decision diagrams. On the higher level the system is presented as a network of register transfer level (RTL) components, and on the lower level eac...

متن کامل

A2T++: the Automatic Abstraction Tool

IP-reuse allows designers to exploit already implemented and verified RTL IP cores while concentrating the main effort on their integration into the system, on other specific components implementation and on the SW development. In this context, this work presents A2T++, a tool for abstracting existent RTL IP cores aiming at two different targets: (i) automatic generation of SystemC TLM models, ...

متن کامل

Vhdl Based Test Generation System

The paper describes a VHDL based hierarchical test generator for digital systems. A VHDL subset to be used as an input of the test generation system is defined. The VHDL description will be transformed into a set of decision diagrams, which is used as a diagnostic model of a system under test. Functional test generation as well as hierarchical test synthesis are supported by the model. Experime...

متن کامل

Assertion Checking with PSL and High-Level Decision Diagrams

The paper proposes a novel method for checking PSL language assertions using a system representation called HighLevel Decision Diagrams (HLDD). Previous works have shown that HLDDs are an efficient model for simulation and test pattern generation. We present a technique, where checking of PSL assertions is integrated into fast HLDD-based simulation. Current approach applies assertion checker ge...

متن کامل

DSP core verification using automatic test case generation

The veriication methodology for a TMS320C25 compatible embedded DSP core is described. The DSP core has been implemented in synthesizable VHDL and has been cosimulated with the original DSP to verify correct behavior. Automatic test case generation together with hand-crafted code has been used as a means of providing stimuli to achieve increased RTL-simulation coverage. The cosim-ulation enviro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006